Random subtree correlations edition 1 — public publication package

Scott Schubr
Existing edition: https://luminaryoddities.com/researcharchive/sharp-lower-bound-adjacent-edge-correlations-random-subtrees/v/1
Manuscript: manuscript/main.pdf

This package corrects attachment contents only. The published manuscript PDF and
its TeX source are retained byte for byte. This is not a new theorem or edition.
The paper retains its attribution, originality qualifications and limitations.
Internal review/assessment records, private context, QA images and nested older
packages are excluded. No new licence or public reuse permission is granted.

Public file hashes.json identifies the public payload. A native integrity
manifest, where included, also binds that inventory; neither hashes itself.
Hashes identify files; they do not establish mathematical truth or refereeing.
Read the manuscript for the proofs. Run reproductions only in a separate new
work directory. Never treat retained numeric outputs as a substitute for replay.
No mathematical replay was performed merely to filter this package.

Compile manuscript/main.tex with the packages it lists. To rerun the finite
diagnostic, copy verification/independent_check.py into a separate new work
directory and run ordinary Python there:
  python -B independent_check.py
Do not use -O or -OO: the original program uses assertions. It writes its result
beside the script. Finite checks support, but do not replace, the analytic proof.
